#include <linux/sched.h>

int sys_setup(void * BIOS)
{
    static int callable = 1;

    if (!callable)
        return -1;
    callable = 0;
    
    mount_root();
    return (0);
}